Section: New Software and Platforms

TRAIAN

Keywords: Compilation - LOTOS NT

Functional Description: TRAIAN is a compiler for translating LOTOS NT descriptions into C programs, which will be used for simulation, rapid prototyping, verification, and testing.

The current version of TRAIAN, which handles LOTOS NT types and functions only, has useful applications in compiler construction  [37], being used in all recent compilers developed by CONVECS.

• Participants: Hubert Garavel, Frédéric Lang and Wendelin Serwe

• Contact: Hubert Garavel

• URL: http://convecs.inria.fr/software/traian/